Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in (...) the traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

The claim that perfect hallucination is introspectively indistinguishable from perception has been a centrepiece of philosophical theorizing about sense experience. The most common interpretation of the indistinguishability claim is modal: that it is impossible to distinguish perfect hallucination from perception through introspection alone. I run through various models of introspection and show that none of them can accommodate the modal interpretation. Rejecting the modal interpretation opens up two alternative interpretations of the indistinguishability claim. According to the generic interpretation, (...) hallucination is indistinguishable from perception despite the existence of possible exceptions, while according to the actuality interpretation, the indistinguishability of hallucination from perception consists in the actual failure to distinguish hallucination from perception. These alternative understandings of the indistinguishability claim have a number of significant implications for the problem of perception, including the rejection of perfect hallucination and illusion in favour of our ordinary, non-philosophical concepts of these states. (shrink)

In this paper, I ask whether there is a defensible philosophical view according to which everybody is beautiful. I review two purely aesthetical versions of this claim. The No Standards View claims that everybody is maximally and equally beautiful. The Multiple Standards View encourages us to widen our standards of beauty. I argue that both approaches are problematic. The former fails to be aspirational and empowering, while the latter fails to be sufficiently inclusive. I conclude by presenting a hybrid ethical–aesthetical (...) view according to which everybody is beautiful in the sense that everybody can be perceived through a loving gaze. I show that this view is inclusive, aspirational and empowering, and authentically aesthetical. (shrink)

My paper discusses the philosophical interrelationship between perfection, truth, and knowledge. The connection that exists between these three concepts underscores the argument of my paper that they are all one and the same thing. -/- The concepts of perfection, truth and knowledge are analysed in that order. I analyse perfection and demonstrate the practicalities of my arguments. Truth is then scrutinized and defined to illustrate its intimate relationship with perfection leading to the conclusion that knowledge being ‘truth that is (...) class='Hi'>perfect’. -/- In dealing with the theory of knowledge, I take into account the justification of knowledge and highlighted arguments that I found to be insufficient. I derive a premise to refute and replace both the traditional and contemporary views of knowledge. -/- In the paper presented, I consider views of some prominent philosophers including; Locke, Russell, Plato, Aristotle and Leibniz. (shrink)

Ideas for integrating AI into politics are now emerging and advancing at accelerating pace. This chapter highlights a few different varieties and show how they reflect different assumptions about the value of democracy. We cannot make informed decisions about which, if any, proposals to pursue without further reflection on what makes democracy valuable and how current conditions fail to fully realize it. Recent advances in political philosophy provide some guidance but leave important questions open. If AI advances to a state (...) where it can secure superior political outcomes, leading perspectives in political philosophy suggest that democracy may become obsolete. If we find this suggestion troubling, we need to put the case for democracy on stronger foundations. (shrink)

The concept of Smart Healthy Age-Friendly Environments (SHAFE) emphasises the comprehensive person-centred experience as essential to promoting living environments. SHAFE takes an interdisciplinary approach, conceptualising complete and multidisciplinary solutions for an inclusive society. From this approach, we promote participation, health, and well-being experiences by finding the best possible combinations of social, physical, and digital solutions in the community. This initiative emerged bottom-up in Europe from the dream and conviction that innovation can improve health equity, foster caring communities, and sustainable development. (...) Smart, adaptable, and inclusive solutions can promote and support independence and autonomy throughout the lifespan, regardless of age, gender, disabilities, cultural differences, and personal choices, as well as promote happier and fairer living places. The New European Bauhaus initiative gathers “beautiful, sustainable, and inclusive projects and ideas” to inspire a positive transformation around us. The New European Bauhaus 2024 Festival took place between 9-13 April. “Designing the perfect New European Bauhaus neighbourhood: New European Bauhaus meets SHAFE” was a Satellite Event of the Festival, held as an online workshop, organised by the SHAFE Foundation on April 9th, 2024. At the event, a group of 50 participants with a multidisciplinary background discussed how to meet the challenges of the European Garcia family to enable them to live in a perfect neighbourhood. The White Paper presents the findings of the participants with the New European Bauhaus inspiring projects and ideas to house the European Garcia family in their neighbourhood. The White Paper recommends developers, designers, planners, and policymakers to include person-centred design of social and physical environments and technologies. Although awareness of person-centred design is growing, many initiatives still hamper the inclusion of citizens or end-users throughout the development of products and services. (shrink)

It is often thought that traditional recidivism prediction tools used in criminal sentencing, though biased in many ways, can straightforwardly avoid one particularly pernicious type of bias: direct racial discrimination. They can avoid this by excluding race from the list of variables employed to predict recidivism. A similar approach could be taken to the design of newer, machine learning-based (ML) tools for predicting recidivism: information about race could be withheld from the ML tool during its training phase, ensuring that the (...) resulting predictive model does not use race as an explicit predictor. However, if race is correlated with measured recidivism in the training data, the ML tool may ‘learn’ a perfect proxy for race. If such a proxy is found, the exclusion of race would do nothing to weaken the correlation between risk (mis)classifications and race. Is this a problem? We argue that, on some explanations of the wrongness of discrimination, it is. On these explanations, the use of an ML tool that perfectly proxies race would (likely) be more wrong than the use of a traditional tool that imperfectly proxies race. Indeed, on some views, use of a perfect proxy for race is plausibly as wrong as explicit racial profiling. We end by drawing out four implications of our arguments. (shrink)

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). (...) On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander. (shrink)

Purpose of the article is to study the Western worldview as a framework of beliefs in probable supernatural encroachment into the objective reality. Methodology underpins the idea that every cultural-historical community envisions the reality principles according to the beliefs inherent to it which accounts for the formation of the unique “universes of meanings”. The space of history acquires the Non-Euclidean properties that determine the specific cultural attitudes as well as part and parcel mythology of the corresponding communities. Novelty consists in (...) the approach to the miracle as a psychological need in a religious authority, expressed through the religious and non-religious (scientific) worldviews, which are interconnected by invariant thinking patterns deeply inside. It has been proven that the full-fledged existence of the religion is impossible without a miraculous constituent. It has been illustrated that the development of society causes a transformation of beliefs in gods and in miracles they do. The theological origins of the scientific beliefs stating the importance and regularity of the natural processes have been outlined. Conclusions: religion suggests emotional involvement and reasoning which is realized by means of a miracle. The modern science reproduces the theological concept of the permanence of God and His will at own level. Through the history of humankind not only the nature of miracle (whereof the common tendency belongs to the daily reality expansion) underwent changes but also its suggested subject (wherein abstraction is in trend). (shrink)

This book aims to present a richer alternative to the popular conception of freedom as the power to choose by giving an account of freedom in Schiller, Schelling, and Hegel. Despite my points of criticism (especially with regard to moral responsibility and the freedom to do evil), the contributions of the book are significant. By posing and developing the question of the relationship between freedom and actuality, Schindler introduces a problem that any complete account of freedom must address. At the (...) same time, Schindler provides us with a useful framework for relating Schelling and Hegel on freedom. Finally, the book gives an overview of the potential richness that a fuller conception of freedom provides. (shrink)

Summary This paper examines contemporary virtue ethics and the claim that Christian ethics is a virtue ethic. Three central theses are identified as being central to virtue ethics: a priority thesis, a perfectionist thesis and a communitarian thesis. It is argued that defences of the priority thesis—it best addresses the moral crisis in our society, it does justice to historical consciousness and it remedies the incompleteness in deontic ethics—are unconvincing. It is argued that virtue and moral perfection are best understood (...) in terms of psychologically appropriate dispositions to act in accordance with moral principles. It is further argued that the communitarian thesis raises relativist difficulties and fails to do justice to the universal elements of morality. Each of these arguments is developed philosophically and the implications for Christian ethics are explored. In light of the theory of virtue sketched in the paper it is concluded that the independence thesis, upon which virtue ethics rests, is untenable and that an examination of the structure of the universal moral principles underlying the Christian faith remains the proper subject matter for Christian ethics. (shrink)

This paper addresses Joseph Heath’s attempt to derive moral obligations from the conditions that are specified by the model of the perfectly competitive market. Through his market failures approach to business ethics he argues that firms should behave as if they are operating in a perfectly competitive market. However, I argue that this derivation of moral obligations runs counter to the metaethical principle that moral actions need to be voluntarily chosen from a set of alternatives. To the extent that Milton (...) Friedman’s derivation follows the same lines, my objection is also applicable to his approach to business ethics. I bring out the fact that the conditions required by the model of the perfectly competitive market cannot be realized in the actual world and argue that this causes problems for any moral obligations that might follow. My objection is illustrated by an intuitive example of someone set to an impossible task. I also bring in a way that Heath could work around this objection, but I argue that this would imply the collapse of his approach into another kind of theory that he wishes to distinguish himself from. More deeply, I show that my metaethical objection has epistemological consequences that undermine the very basis of the model of the perfectly competitive market. I conclude by stating that we need a different conception of competition, pointing to the facts that such a perspective would need to take into account, and suggesting that the concept of rivalry is up to the job. (shrink)

In this paper, I present and analyse the theological reasons given by contemporary authors such as Robert J. Russell, Thomas Tracy and John Polkinghorne, as well as thirteenth‑century scholar Thomas Aquinas, to admit that the created universe requires being intrinsically contingent in its causing, in particular referring to their doctrines of providence. Contemporary authors stress the need of having indeterminate events within the natural world to allow for God’s providential action within creation, whereas Aquinas focuses his argument on the idea (...) that a universe which includes contingent causes is a more perfect universe. I compare these two approaches, concluding that Aquinas’ seems to be better suited to account for true indetermination within the natural world, claiming that divine causality is not required to complement natural causality in its own level. (shrink)

The economy is based on the prevailing legal system; however, the economy could go into a tailspin if the laws lose their impartiality. A perfect worker creates infinite high value with limited cost, and the result is a perfect product, usually eternal knowledge. However, free access to their products discourages workers, causing a substantial deviation from optimal resource allocation, and thereby making the supply of perfect products seriously inadequate. This significantly hurts the interests of future society. To (...) maximize the overall interests of humankind, the best policy would be to produce perfect products expeditiously, which in turn requires correcting the value society places on perfect products to respect the interests of perfect workers and future generations. Future society should essentially buy licenses from perfect workers instead of lending money to modern society for consumption. Then, the one-way trade between the present and the future will greatly increase. New companies and services will emerge around perfect products, and long-term economic growth rates will increase significantly. (shrink)

This book has been written for eighteen year olds (or anyone who will listen) as an honest attempt to face their justified questionings and to offer them a metaphysical framework with which to confront the twenty-first century. It is vitally important that certain modes of thought are uprooted and new modes put in their place if mankind and planet Earth are not soon to suffer an historic global catastrophe. Apart from the continuing world-wide proliferation of conventional, chemical, biological and nuclear (...) weaponry, the temperature of the planet has risen more rapidly in the last twenty-five years than it has since the year 900AD, which confirms global warming by some cause or other. These and the many intensifying human conflicts and natural disasters demand that some fundamental changes to our thinking are made as soon as possible. These 120 pages begin with an original examination of the quantum-theoretical understanding of reason (logic) and reality (existence) and find both to be at odds with common sense. A theory of everything is a reduction to a single grand idea! A quantum theory of everything is a mathematical theory of a consciousness realizing this grand idea! That is what this book tries to comprehend by means of five indisputable propositions. (shrink)

Two views continue to be defended today. One is that the account of eudaimonia in EN 10 is inconsistent with claims made about it in other books of the work. The other view is that the account in EN 10 is consistent with other claims made in the other books because Aristotle presents one account of perfect eudaimonia by portraying it as consisting solely in contemplative activity. I call this view the intellectualist interpretation. I then argue that neither view (...) is correct because although Aristotle’s position is consistent, he does not hold that the perfect eudaimonia for a human being involves nothing but excellent theoretical activity. His philosopher possesses and exercises the moral excellences and practical wisdom and so some portion of his happiness consists in these activities as well as contemplative activity. (shrink)

Neither Aristotle nor Aquinas assumes the reality of the evolution of species. Their systems of thought, however, remain open to the new data, offering an essential contribution to the ongoing debate between scientific, philosophical, and theological aspects of the theory of evolution. After discussing some key issues of substance metaphysics in its encounter with the theory of evolution (hylomorphism, transformism of species, teleology, chance, the principle of proportionate causation), I present a Thomistic response to its major hypotheses. Concerning the philosophy (...) of Aquinas, I trace what might be seen as a preliminary description of natural selection in his commentary on Aristotle's Physics. Turning toward theology, besides addressing the topics that were referred to in the past—such as: Aquinas’ reading of Genesis, his account of creation as dependence in being, secondary and instrumental causality, and univocal/equivocal predication of God—I bring into discussion Thomas’ concept of the perfection of the universe, which has been virtually unused in this context. (shrink)

A resume of classical philosophy since Plato and Aristotle until Thomas Aquinas and Saint Augustine.

The growing power of communication and information technologies and their reliance on systems, poses great challenges to cultural and religious diversity, and even education. Will these technological systems continue to homogenize cultures and religions? Will this process lead to increasing strife? Or is there a possibility of maintaining both identity and diversity in a peaceful manner? This paper explores an early attempt to consider this problem. It will focus on the Ikhwān al-Ṣafā and their attempt to construct an encyclopedic system (...) to coordinate knowledge during the flowering of Islamic Civilization in the tenth century. It will primarily deal with Epistle or Rasā'il twenty-two – a fable concerning a debate between the humans, the animals and the Jinn. It will discuss their debate and show how the major concern for the Ikhwān al-Ṣafā was not only to embrace the diversity of knowledge but also the need to navigate through this diversity. I would like to suggest through this analysis that a culture gains its richness and identity by recognizing perfections outside of their own identity. This is analogous to the way that the individual human being gains meaning and dignity by reaching beyond its individuality. It also shows the importance of cultural and religious diversity and how the world cannot be unified by a single all-encompassing system. This approach is important because it shows the possibility of maintaining cultural and religious identity while participating in a technological world involving the flow of information on one hand, and global cultural diversities on the other. (shrink)

Libraries provide resources for knowledge acquisition, recreation, personal interests and inter-personal relationships for all categories of users. It enables the individual to obtain spiritual, inspirational, and recreational activities through reading, and therefore the opportunity of interacting with the society’s wealth and accumulated knowledge. This study examined the undergraduate students’ use of University library services and resources. It was affirmed the undergraduate utilized the University Libraries as learning centre. This was shown by the massive turn out to patronize the (...) class='Hi'>library services and resources weekly. (shrink)

Public Libraries (PLs) continue to contribute a great deal to user education in local communities. This paper analyzes the importance of PLs in driving community literacy through promotion of user education for the progressive improvement of the society. The paper stresses the relevance and value of PLs by reassessing the benefits they accrue by analyzing the impact of PLs on community and social education. As indigenous knowledge repositories, PLs play a significant role as community information service providers by driving community (...) literacy. The goal of this paper is to analyze the role played by PLs in driving community education and promoting information literacy in the society. PLs, being storehouses of knowledge, support user education by undertaking active part in community information services. The model helps in explaining and analyzing the efficiency of information search and retrieval process in PLs and how it affects user education and community literacy. The paper also discusses the relevance and value of PLs in this age of digital technology. The findings reinforce the claim that PLs are relevant even in this digital age, and they indeed support user education for the progressive improvement of the society. (shrink)

Locke's claims about the "inadequacy" of substance-ideas can only be understood once it is recognized that the "sort" represented by such an idea is not wholly determined by the idea's descriptive content. The key to his compromise between classificatory conventionalism and essentialism is his injunction to "perfect" the abstract ideas that serve as "nominal essences." This injunction promotes the pursuit of collections of perceptible qualities that approach ever closer to singling out things that possess some shared explanatory-level constitution. It (...) is in view of this norm regulating natural-historical inquiry that a substance-idea represents a sort for which some such constitution serves as the "real essence," i.e. as that on which all the sort's characteristic "properties" depend. (shrink)

Starting from the Age of Enlightenment, a person’s ability of self-improvement, or perfectibility, is usually seen as a fundamental human feature. However, this term, introduced into the philosophical vocabulary by J.-J. Rousseau, gradually acquired additional meaning – largely due to the works of N. de Condorcet, T. Malthus and C. Darwin. Owing to perfectibility, human beings are not only able to work on themselves: by improving their abilities, they are also able to change their environment (both social and natural) and (...) create favorable conditions for their existence. It is no coincidence that perfectibility became the key concept of the idea of social progress proposed by French thinkers in the Age of Enlightenment, despite the fact that later it was criticized, above all, by English authors, who justified its organic and biological nature and gave a different evolutionary interpretation to this concept, without excluding perfectibility from the philosophical vocabulary. In this article, we address the opposition and mutual counterarguments of these two positions. Beyond that, we draw a parallel with some of the ideas of S. Kapitsa, who proved to be not only a critic of Malthusianism but also a direct disciple of Condorcet. In the modern age, the ideas of human self-improvement caused the development of transhumanist movement. Condorcet is more relevant than ever, and today his theory of the progress of the human mind, which influenced the genesis of modern historical science, needs a re-thinking in the newest perspective of improving the mental and physical human nature with the help of modern technologies. (shrink)

Games, play and gamification are essential for all ages because they allow players to develop useful 21st century skills such as digital literacy, critical and scientific thinking, problem solving, comprehension and communication skills, storytelling skills, etc. The new generation of digital natives requires a different approach in learning new things and libraries could take advantage of that by using gamification on learning content. In this way, libraries could become more welcoming spaces, more open to the public and much more interested (...) in what the public wants. To find out what people think about the idea of playing games at the library, the idea of libraries using gamified activities or if the public would like to use gamified apps on the library websites, a questionnaire-based survey was administered on Facebook and WhatsApp between February 2 and February 8, 2024. Analysis of the answers obtained shows that the Romanian public is open to the idea of libraries where reading, communicating, socializing, acquiring knowledge in various fields such as literature, history, geography can be combined in a fun and enjoyable way with play, games and gamification. Respondents would also like to use gamification on library websites such as a book lending app. (shrink)

Public and research libraries have long provided resources in electronic formats, and the tension between providing electronic resources and patron privacy is widely recognized. But assessing trade-offs between privacy and access to electronic resources remains difficult. One reason is a conceptual problem regarding intellectual freedom. Traditionally, the LIS literature has plausibly understood privacy as a facet of intellectual freedom. However, while certain types of electronic resource use may diminish patron privacy, thereby diminishing intellectual freedom, the opportunities created by such resources (...) also appear liberty-enhancing. Adjudicating between privacy loss and enhanced opportunities on intellectual freedom grounds must therefore provide an account of intellectual freedom capable of addressing both privacy and opportunity. I will argue that intellectual freedom is a form of positive freedom, where a person’s freedom is a function of the quality of her agency. Using this view as the lodestar, I articulate several principles for assessing adoption of electronic resources and privacy protections. (shrink)

Increasing parts of the world population have rudimentary reading and writing skills but limited command of grammar, syntax and spelling. This functional illiteracy has detrimental effects on labor market participation, population health and political stability. Geographies of illiteracy also include affluent societies like the Netherlands, a country that is not only illustrative of a widespread phenomenon, but arguably also a bellwether of things to come elsewhere in the world if these developments are not reversed. This exploratory paper focuses on two (...) institutional spaces where the literacy crisis is conventionally addressed: schools and public libraries. We argue that while each has a contribution to make, neither institution is currently able to curtail the trend, partially because preferred literacy promotion methods are incongruent with rapidly evolving changes in the literacy landscape, especially regarding youth communication. We consider three possible responses to our current literacy crisis and conclude that efforts to curb functional illiteracy require a pragmatic and multi-pronged approach, and perhaps even some counterintuitive strategies. (shrink)

The New Age philosopher, Rudolf Steiner (1861-1925), was the most prolific and arguably the most influential philosopher of his era. He assembled a substantial library, of approximately 9,000 items, which has been preserved intact since his death. Most of Rudolf Steiner’s books are in German, his native language however there are books in other languages, including English, French, Italian, Swedish, Sanskrit and Latin. There are more books in English than in any other foreign language. Steiner esteemed English as “a (...) universal world language”. The present paper identifies 327 books in English in Rudolf Steiner’s personal library. Fifty percent of the English-language books identified are on Theosophy (n=164). Rudolf Steiner was the General Secretary of the German branch of the Theosophy Society from 1902, and he hived off his own Anthroposophy Society in 1912. The present study reveals that Steiner maintained his interest in Theosophy throughout his life as he stayed up to date with the proliferating portfolio of Theosophy publications. The publication dates of Steiner’s Theosophy collection range from 1877 to 1923. The leading exponents of Theosophy in his day are well represented in Steiner’s collection, including Annie Besant (n=61), Charles Leadbeater (n=13), William Westcott (n=13) and Helena Blavatsky (n=10). Of the other 50% of the Anglo-books identified, 20% are in the category of Religion (n=67), 10% are Social Science (n=33), 6% are Philosophy (n=21), 4% are Science (n=13), and 3% each are Anthroposophy (n=11), History (n=9) and Arts (n=9). The publication dates of Steiner’s Anglo-books span the period 1659 to 1925. This demonstrates that Steiner was acquiring Anglo-books right to the end of his life. The Steiner library throws light on the development of the thoughts of this remarkable individual and the present paper reveals Steiner’s engagement throughout his life with the world of Anglo-publishing and thought. (shrink)

My chapter deals with an important part of how Wolff pursued the normative ambitions of his ethics in giving practical guidance with regard to specific moral issues. I first consider how Wolff’s ethics tackles the duties to others, which traditionally represent a difficult issue for moral perfectionism. In this regard, I argue that Wolff’s strategy combines two aspects: (a) he includes in perfection non-active aspects and (b) operates with an agent-neutral notion of perfection, in spite of important passages that might (...) suggest differently. I then focus on Wolff’s treatment of the duties concerning veracity and lying, and show how it follows that general strategy. Combining its two aspects, Wolff examines specific moral issues by adopting a non-welfarist notion of benefit and harm as the standard that can give guidance about practical cases. (shrink)

Background Retraction is a mechanism for alerting readers to unreliable material and other problems in the published scientific and scholarly record. Retracted publications generally remain visible and searchable, but the intention of retraction is to mark them as “removed” from the citable record of scholarship. However, in practice, some retracted articles continue to be treated by researchers and the public as valid content as they are often unaware of the retraction. Research over the past decade has identified a number of (...) factors contributing to the unintentional spread of retracted research. The goal of the Reducing the Inadvertent Spread of Retracted Science: Shaping a Research and Implementation Agenda (RISRS) project was to develop an actionable agenda for reducing the inadvertent spread of retracted science. This included identifying how retraction status could be more thoroughly disseminated, and determining what actions are feasible and relevant for particular stakeholders who play a role in the distribution of knowledge. -/- Methods These recommendations were developed as part of a year-long process that included a scoping review of empirical literature and successive rounds of stakeholder consultation, culminating in a three-part online workshop that brought together a diverse body of 65 stakeholders in October–November 2020 to engage in collaborative problem solving and dialogue. Stakeholders held roles such as publishers, editors, researchers, librarians, standards developers, funding program officers, and technologists and worked for institutions such as universities, governmental agencies, funding organizations, publishing houses, libraries, standards organizations, and technology providers. Workshop discussions were seeded by materials derived from stakeholder interviews (N = 47) and short original discussion pieces contributed by stakeholders. The online workshop resulted in a set of recommendations to address the complexities of retracted research throughout the scholarly communications ecosystem. -/- Results The RISRS recommendations are: (1) Develop a systematic cross-industry approach to ensure the public availability of consistent, standardized, interoperable, and timely information about retractions; (2) Recommend a taxonomy of retraction categories/classifications and corresponding retraction metadata that can be adopted by all stakeholders; (3) Develop best practices for coordinating the retraction process to enable timely, fair, unbiased outcomes; and (4) Educate stakeholders about pre- and post-publication stewardship, including retraction and correction of the scholarly record. -/- Conclusions Our stakeholder engagement study led to 4 recommendations to address inadvertent citation of retracted research, and formation of a working group to develop the Communication of Retractions, Removals, and Expressions of Concern (CORREC) Recommended Practice. Further work will be needed to determine how well retractions are currently documented, how retraction of code and datasets impacts related publications, and to identify if retraction metadata (fails to) propagate. Outcomes of all this work should lead to ensuring retracted papers are never cited without awareness of the retraction, and that, in public fora outside of science, retracted papers are not treated as valid scientific outputs. (shrink)

Between the end of the nineteenth century and the first twenty years of the twentieth century, stimulated by the impetuous development of logical studies and taking inspiration from Leibniz's idea of a characteristica universalis, the three founding fathers of the analytic tradition in philosophy, i.e., Frege, Russell, and Wittgenstein, started to talk of a logically perfect language, as opposed to natural languages, all feeling that the latter were inadequate to their (different) philosophical purposes. In the second half of the (...) twentieth century, however, the very idea of a logically perfect language ceased for various reasons to seem attractive to analytic philosophers. Thus, it might appear that this idea could be classified together with the many other bizarre ideas that from time to time surface in the history of philosophy-an idea that perhaps had a beneficial impact on the development of twentieth century logic, but which can now be put to rest. In this brief note, I contend that this conclusion may be too hasty. Indeed, if a well-known empirical hypothesis advanced in 1975 by Jerry Fodor turns out to be true, then there is a logically perfect language, after all. More precisely, I argue that, if it exists, Fodor's language of thought possesses the main characteristics a logically perfect language is required to have. (shrink)

Communist library secret fond in Romania,.

I use Plotinus to present absolute divine simplicity as the consequence of principles about metaphysical and explanatory priority to which most theists are already committed. I employ Phil Corkum’s account of ontological independence as independent status to present a new interpretation of Plotinus on the dependence of everything on the One. On this reading, if something else (whether an internal part or something external) makes you what you are, then you are ontologically dependent on it. I show that this account (...) supports Plotinus’s claim that any entity with parts cannot be fully independent. In particular, I lay out Plotinus’s case for thinking that even a divine self-understanding intellect cannot be fully independent. I then argue that a weaker version of simplicity is not enough for the theist since priority monism meets the conditions of a moderate version of ontological independence just as well as a transcendent but complex ultimate being. (shrink)

With the advance of CRISPR technology, parents will be tempted to create superior offspring who are healthier, smarter, and stronger. In addition to the fact that many of these procedures are considered immoral for Catholics, they could change human nature in radical and possibly disastrous ways. This article focuses on the question of human perfectionism. First, by considering the relationship between human nature and technology, it analyzes whether such advances can improve human nature in addition to curing diseases. Next, it (...) looks at the moral and spiritual dimensions of perfection by analyzing the cardinal virtues. It argues that seeking perfection in the physical sense alone may not be prudent or wise and may produce greater injustices and weaken the human spirit in the long run. Understanding our true calling to perfection can help us resist the temptation of hubris to enhance the human race through technology. (shrink)

Two models of human perfection proposed by Nietzsche and the Buddha are investigated. Both the overman and the arahant need practice and individual effort as key to their realization, and they share roughly the same conception of the self as a construction. However, there are also a number of salient differences. Though realizing it to be constructed, the overman does proclaim himself through his assertion of the will to power. The realization of the true nature of the self does not (...) lead the overman to seek the way to be released from saṃsara as does the arahant. On the contrary, he rejoices in the eternally recurring situation. The arahant, however, has totally relinquished any attachment to the self, constructed or otherwise. The arahant does not care about the Eternal Recurrence, as he only focuses on the present moment. Finally, they are both beyond good and evil, but in a substantively different way. (shrink)

In the Principles of Philosophy, Descartes attempts to explicate the well-known phenomena of varying bodily size through an appeal to the concept of "solidity," a notion that roughly corresponds to our present-day concept of density. Descartes' interest in these issues can be partially traced to the need to define clearly the role of matter in his natural laws, a problem particularly acute for the application of his conservation principle. Specifically, since Descartes insists that a body's "quantity of motion," defined as (...) the product of its "size" and speed, is conserved in all material interactions, it is imperative that he explain how solidity influences the magnitude of this force. As a means of resolving this problem, Descartes postulated an idealized condition of "perfect solidity" which correlates a body's "agitation" force (a forerunner of Newton's concept of non-accelerating, or "inertial" motion) with the interplay of its volume, surface area, and composition of minute particles. This essay explores this often misunderstood aspect of Descartes' physics, as well as the special function of idealized conditions in his collision rules. Contrary to those commentators who regard "perfect solidity" as a stipulation on bodily impact, this notion, it will be argued, is primarily concerned with the internal composition of macroscopic bodies, and only indirectly with their collision characteristics. Along the way, many of Descartes' hypotheses will be shown to display a level of sophistication and intricacy that, despite their essential incompatibility, belie several of the common misconceptions of Cartesian science. (shrink)

Many theists conceive of God as a perfect being, i.e., as that than which none greater is metaphysically possible. On this grand view of God, it seems plausible to think that such a supreme and maximally great being would not be subject to luck of any sort. Given the divine perfections, God is completely insulated from luck. However, I argue that the opposite is true: precisely because God is perfect, he is subject to a kind of luck called (...) constitutive luck. In this paper, first I provide an analysis of luck and then explain the concept of constitutive luck. I proceed to defend constitutive luck from charges of incoherence and examine a different approach to make sense of this luck. Furthermore, I distinguish between two kinds of constitutive luck and argue that even if God isn’t subject to one kind, evading the second kind is unsuccessful. I offer two ways that God is constitutively lucky and reach a surprising conclusion: a perfect being is the luckiest of all possible beings. (shrink)

Determinism is frequently understood as implying the possibility of perfect prediction. This possibility then functions as an assumption in the Manipulation Argument for the incompatibility of free will and determinism. Yet this assumption is mistaken. As a result, arguments that rely on it fail to show that determinism would rule out human free will. We explain why determinism does not imply the possibility of perfect prediction in any world with laws of nature like ours, since it would be (...) impossible for an agent to predict with certainty any future event that is causally influenced by events outside her own backward light cone yet inside the backward light cone of the future event. This is the _light-cone limit_ and it undermines the Manipulation Argument or limits what this argument can tell us about the relevance of determinism to free will. We also respond to objections that the light-cone limit is irrelevant to the Manipulation Argument. (shrink)

The study evaluated primary texts' availability and utilisation status in core subjects (English Language, Mathematics, Social Studies and Basic Science) in primary schools’ libraries in Obubra Local Government Area of Cross River State. The researchers formulated six null hypotheses to guide the study. The study adopted the descriptive survey research design. The target population of this study comprised a total of 30,036 teachers and pupils, distributed across the 73 public primary schools. A proportionate stratified sampling technique was used to select (...) 30% and 5% of the available teachers and pupils in each school, resulting in a sample of 270 respondents. Two instruments were used for data collection: Availability and Pupils Utilisation of Primary Texts in Core Subjects Questionnaire (APUPTCSQ) and Teachers Utilization of Primary Texts in Core Subjects Questionnaire (TUPTCSQ). Collected data were analysed using descriptive statistics, while the null hypotheses were all tested at the .05 level of significance using population t-test and independent t-test statistical techniques. Findings revealed that textbooks in core subjects are available to a significant extent; the utilisation status of texts in core subjects is not significantly low; the available books in core subjects are not considerably utilised by the pupils and teachers respectively; factors affecting availability are not substantially different from those affecting utilisation of textbooks in core subjects in the area of study. Based on the study's findings, it was recommended, among others, that textbooks be procured and distributed evenly across all subjects and schools in the Local Government Area by the Government. Outdated books should also be eliminated from the school libraries frequently by the primary school librarians or other people assigned to do so. (shrink)

Moral theories that demand that we do what is morally best leave no room for the supererogatory. One argument against such theories is that they fail to realize the value of autonomy: supererogatory acts allow for the exercise of autonomy because their omissions are not accompanied by any threats of sanctions, unlike obligatory ones. While this argument fails, I use the distinction it draws – between omissions of obligatory and supererogatory acts in terms of appropriate sanctions – to draw a (...) parallel with psychological perfectionism. Through this parallel, I demonstrate that requiring what is morally best is in fact counter-productive. Thus, by its own lights, a theory that wants us to do what is best ought at the very least to tell us to believe that some actions are supererogatory. As the old adage goes, the best is the enemy of the good; I argue here that the supererogatory is the solution. (shrink)

The third Meditation is typically understood to contain two a posteriori arguments for the existence of God. The author focuses on the second argument, where Descartes proves the existence of God partly in virtue of proving that Descartes cannot be the cause of himself. To establish this, Descartes argues that if he were the cause of himself, then he would endow himself with any conceivable perfection. The justification for this claim is that bringing about a substance is more difficult than (...) creating an attribute, so anything that can do the former can do the latter. While current explanations of this justification are either implausible or inadequate, the author argues that this principle derives support from a scholastic distinction between being-as-such and determinate being. With this distinction in view, we can make sense of Descartes's argument without appealing to ambiguous or inadequate notions. (shrink)

2024 marks the 400th anniversary of the publication of Theodor Smising’s giant volume De Deo Uno (printed in Antwerp in 1624), which was soon followed by a second volume, De Deo Trino (printed in Antwerp in 1626). Smising’s work was the first printed output of what developed into a specific tradition within early modern thought, the Louvain tradition of Scotism, itself but one part of the broad Scotist tradition that build upon the thought of John Duns Scotus (ca. 1266–1308). This (...) Louvain tradition was primarily based in the Franciscan Convent of the Holy Trinity in the famous university town. The convent itself was much older, dating back to around 1230, when the Franciscan Order was in its very beginnings and long before the University of Louvain was founded (in 1425). In 1607 a second Franciscan Convent was founded in Louvain, St. Anthony’s College, one of a series of convents established by the Irish Franciscans as a result of their persecution in their homeland by the English Protestant rulers. The Irish Franciscans in Louvain, and in their other convents on the European continent, also cultivated the intellectual heritage of Duns Scotus, editing and commenting on his works and writing new works “ad mentem Scoti.” Both of the Franciscan convents in Louvain were closed in the turmoil after the French Revolution. The buildings of St. Anthony’s College still exist, whereas the older “Minderbroedersklooster” (on our exhibition poster) completely vanished from the cityscape. In recent decades, the Maurits Sabbe Library has acquired a large fund of Franciscan books, mostly from various houses of the Franciscan Order in Belgium that have closed their doors. Our exhibition “Scotism Made in Louvain – The Scholastic Culture of the Franciscans in Belgium” explores this material, complemented by material from the KU Leuven Central Library’s Special Collections and two manuscripts from the archives of KADOC (Documentatie- en Onderzoekscentrum voor Religie, Cultuur en Samenleving). The exhibition tells the story of a significant local scholarly tradition which is placed in the context of the broader Scotist tradition of the Early Modern Period. Whereas Scholasticism as such is often seen as an exclusively medieval phenomenon, our exhibition highlights one important aspect of early modern scholastic culture. The three brief articles included in this catalogue provide an introduction to John Duns Scotus’s thought, investigate the institutional background of Louvain Scotism, and explore some of the most important aspects of the scholastic output of the Franciscans in Louvain. The numbers attached to the images refer to the annotated list of all exhibits. A virtual exhibition with additional photo material will accompany, and last beyond, the library exhibition. (shrink)

This is a chapter written for a popular audience, in which I use poker as a convenient illustration of probability, determinism and counterfactuals. More originally, I also discuss the roles of rationality versus psychological hunches, and explain why even in principle game theory cannot provide us the panacea of a perfect winning srategy. (N.B. The document I have uploaded here is slightly longer than the abbreviated version that appears in the book, and also differs in a few other minor (...) details.) . (shrink)

This paper examines the history of epistemological conceptualizations of the library, considered as a technology. Drawing from Heidegger’s philosophy, a technology is a way of human relating to the world. At its best, this relationship is in terms of belonging and understanding, but modern information technologies may not foster such aims very well. Heidegger links understanding to questioning; thus, this paper paper explores questioning in the library as a path to reorient the library more concertedly toward understanding. (...) As a first stage in such work, this paper explores the history of questioning in the library. The library was originally conceived as an educational institution that afforded questioning, personal relationships and understanding. As time wore on, the library was transformed into something more like a business, where answers and information were provided as economic resources. This paper provides grounds for a renewed conceptualization of the library as a site for understanding and questioning. If the field is to reorient toward understanding, a deeper appreciation for questioning will be required. (shrink)

John Smith was among the first of the Cambridge Platonists. He was therefore in a position to influence not only his contemporaries but all those who followed after him well into the twentieth century and beyond. Well established lines of influence both to and from Whichcote, Cudworth, and More are explored first before moving on to less well-known connections to Bishop Simon Patrick and mathematician Isaac Barrow. Smith’s continued significance for eighteenth century theology is demonstrated through discussion of his inspiration (...) of the doctrines of spiritual sensation developed by Jonathan Edwards and John Wesley. Special notice is also given to Smith’s authority as an interpreter of Biblical prophecy through the eighteenth and nineteenth centuries. The chapter concludes with looks at Smith’s influence on Samuel Taylor Coleridge, Ralph Waldo Emerson, William Ralph Inge, Rufus Jones, Pierre Hadot, and others. This chapter, offers a broad, but highly selective, overview of the reception and influence of Smith’s life and work. It is intended, however, as a call for future research more than as an authoritative presentation of Smith’s legacy. For, if the Cambridge Platonists have been underappreciated until recently, none of them have been unjustly ignored as consistently as Smith. (shrink)

This is a book review of Michael Almeida, The Metaphysics of Perfect Beings (New York: Routledge, 2008).

Perfect being theism is the view that the perfect being exists and the property being-perfect is the property being-God. According to the strong analysis of perfection, a being is perfect just in case it exemplifies all perfections. On the other hand, the weak analysis of perfection claims that a being is perfect just in case it exemplifies the best possible combination of compatible perfections. Strong perfect being theism accepts the former analysis while weak (...) class='Hi'>perfect being theism accepts the latter. In this paper, I argue that there are good reasons to reject both versions of perfect being theism. On the one hand, strong perfect being theism is false if there are incompatible perfections; I argue that there are. On the other hand, if either no comparison can be made between sets of perfections, or they are equally good, then there is no best possible set of perfections. I argue for the antecedent of this conditional statement, concluding that weak perfect being theism is false. In the absence of other analyses of perfection, I conclude that we have reason to reject perfect being theism. (shrink)